SOME EXPERIMENTS WITH INJECTED SULPHETRONE

Some Experiments with Undeenedness

We distinguish two kinds of undeenedness: undeenedness in existence versus undeenedness in information. We give several applications of the rst kind: a rst order formulation of the untyped lambda calculus and a Zermelo-Fraenkel style theory for partial functions which is equally powerful as ZF-Set Theory. We add the rst kind of unde-nedness to a typed lambda calculus, and show that identifying ...

The treatment of leprosy with sulphetrone.

Some liver function indicators in guinea pigs injected with cyanide

To determine the lethal effect of cyanide poisoning on the liver cells using ALP, AST, ALT and Bilirubin (Total and Conjugated) as test indicators, eighteen (18) male guinea pigs, age matched were used for this study. This included 12 guinea pigs which served as test groups and injected with different concentrations of potassium cyanide saline solution while 6 guinea pigs without cyanide inject...

Some Experiments with Evaluation of Legendre Polynomials

Common practice is to recommend evaluation of polynomials by Horner’s rule. Here’s an example where it is fast but doesn’t work nearly as accurately as another fairly easy method. Can a method for Legendre polynomials be both fast and accurate? 1 1 Legendre Polynomials A substantial literature has grown up around the uses for orthonormal polynomials. Here we look at the example of Legendre poly...

Some Experiments with Real-time Decision Algorithms

Real-time Decision algorithms are a class of incremental resource-bounded [Horvitz, 89] or anytime [Dean, 93] algorithms for evaluating influence diagrams. We present a test domain for real-time decision algorithms, and the results of experiments with several Real-time Decision Algorithms in this domain. The results demonstrate high performance for two algorithms, a decision-evaluation variant ...